Brahmagupta–Fibonacci identity